From: Jeroen van der Heijden <jeroen@transceptor.technology>
Date: Wed, 26 Sep 2018 10:54:45 +0000 (+0200)
Subject: Remove unused splint
X-Git-Tag: archive/raspbian/2.0.44-1+rpi1~1^2~3^2~8^2~64
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=53c04448ff0617e46fa92eda5ea36068d72d9bcd;p=siridb-server.git

Remove unused splint
---

diff --git a/.splintrc b/.splintrc
deleted file mode 100644
index f51cbeaa..00000000
--- a/.splintrc
+++ /dev/null
@@ -1,10 +0,0 @@
--I ./include/
--posix-lib
--redef
--syntax
--fcnuse 
--unrecog
--exitarg
--boolops
-+boolint
-+matchanyintegral